Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
141	The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2008-07-22 11:55:55 Mathematical logic Fixed-point combinator Arrow Simply typed lambda calculus Function Natural deduction Combinatory logic Theoretical computer science Mathematics Lambda calculus
142	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lisp programming language Procedural programming languages Lambda calculus Cross-platform software Name binding Append Scheme Combinatory logic Scope Software engineering Computing Computer programming
143	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06 Computing Functional languages Logic in computer science Lisp Combinatory logic ML Normalization property Scope Lambda Programming language theory Software engineering Lambda calculus
144	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-05-11 10:19:44 Declarative programming Combinatory logic Fixed-point combinator Continuation-passing style Monad Galois connection Calculus Continuation Theoretical computer science Lambda calculus Software engineering
145	A library for quizzes Christian Queinnec Université Paris 6 — Pierre et Marie Curie LIP6, 4 place Jussieu, 75252 Paris Cedex — France Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Combinatory logic Social psychology Data management Data collection Fixed-point combinator Lambda calculus Quiz Question
146	PDF Document Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2012-08-16 15:05:00 Lambda calculus Algebraic geometry Field theory Valuation Eval Normalisation by evaluation Combinatory logic Mathematics Theoretical computer science Abstract algebra
147	Comments of Poll Everywhere.docx Add to Reading List Source URL: engine.is Language: English - Date: 2015-05-14 11:09:55 Combinatory logic Clicker Lambda calculus Audience response Y Combinator
148	PDF Document Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2009-06-06 13:08:44 Unified Modeling Language Graph rewriting Logic in computer science Graph theory Combinatory logic UnQL Model transformation Data management Theoretical computer science Mathematics
149	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
150	An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: robbertkrebbers.nl Language: English - Date: 2013-11-12 14:05:28 Logic in computer science Forcing Deduction Combinatory logic Lambda calculus Denotational semantics Valuation Symbol Entailment Logic Abstract algebra Mathematical logic

UPDATE